σ-ring and σ-algebra of Sets1

σ-ring and σ-algebra of Sets1

In this article, semi-ring and semi-algebra of sets are formalized so as to construct a measure of a given set in the next step. Although a semi-ring of sets has already been formalized in [12], that is, strictly speaking, a definition of a quasi semi-ring of sets suggested in the last few decades [14]. We adopt a classical definition of a semi-ring of sets here to avoid such a confusion. Ring ...

σ-Normality of Topological Spaces

On effective σ-boundedness and σ-compactness

We prove several dichotomy theorems which extend some known results on σ -bounded and σ -compactpointsets. In particular we show that, given a finite number of Δ1 equivalence relations F1 , . . . , Fn , any Σ1 set A of the Baire space either is covered by compact Δ1 sets and lightface Δ1 equivalence classes of the relations Fi , or A contains a superperfect subset which is pairwise Fi -inequiva...

σ-sporadic prime ideals and superficial elements

Let $A$ be a Noetherian ring, $I$ be an ideal of $A$ and $sigma$ be a semi-prime operation, different from the identity map on the set of all ideals of $A$. Results of Essan proved that the sets of associated prime ideals of $sigma(I^n)$, which denoted by $Ass(A/sigma(I^n))$, stabilize to $A_{sigma}(I)$. We give some properties of the sets $S^{sigma}_{n}(I)=Ass(A/sigma(I^n))setminus A_{sigma}(I...

*-σ-biderivations on *-rings

Bresar in 1993 proved that each biderivation on a noncommutative prime ring is a multiple of a commutatot. A result of it is a characterization of commuting additive mappings, because each commuting additive map give rise to a biderivation. Then in 1995, he investigated biderivations, generalized biderivations and sigma-biderivations on a prime ring and generalized the results of derivations fo...